PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 23164

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 23:19:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=39 boxname=wulflinc31 idbench=5 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3f8902c4e8af50006f671e2bddb3e9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
IDLAUNCH: 39
/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:        930864 kB
Buffers:         35280 kB
Cached:          46680 kB
SwapCached:        864 kB
Active:          67360 kB
Inactive:        17004 kB
HighTotal:      131008 kB
HighFree:        83244 kB
LowTotal:       903652 kB
LowFree:        847620 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13732 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 23:39:25 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 39 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 480 variables and 62 constraints.
c After prepocess the problem consists of 480 variables and 62 constraints.
c preprocess terminated 0.087 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.93 0.96 0.91 2/54 6048
Raw data (stat): 6048 (runsolver) R 6047 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626744829 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 3190 0 0 0 984 13 0 0 25 0 1 0 626744829 16678912 3165 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3165 1111 63 0 4009 0
vsize: 16288
[startup+20.0032 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 4817 0 0 0 1978 19 0 0 25 0 1 0 626744829 23310336 4792 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5691 4792 1111 63 0 5628 0
vsize: 22764
[startup+30.004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 6211 0 0 0 2973 25 0 0 25 0 1 0 626744829 29147136 6186 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7116 6186 1111 63 0 7053 0
vsize: 28464
[startup+40.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 7062 0 0 0 3969 28 0 0 25 0 1 0 626744829 32686080 7037 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7980 7037 1111 63 0 7917 0
vsize: 31920
[startup+50.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 8216 0 0 0 4964 33 0 0 25 0 1 0 626744829 37437440 8190 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9140 8190 1111 63 0 9077 0
vsize: 36560
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 9330 0 0 0 5960 37 0 0 25 0 1 0 626744829 42070016 9302 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10271 9302 1111 63 0 10208 0
vsize: 41084
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 10038 0 0 0 6958 40 0 0 25 0 1 0 626744829 44941312 10009 4294967295 134512640 134714540 3221221744 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10972 10009 1111 63 0 10909 0
vsize: 43888
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 10960 0 0 0 7953 45 0 0 25 0 1 0 626744829 48775168 10926 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11908 10926 1111 63 0 11845 0
vsize: 47632
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 11735 0 0 0 8950 49 0 0 25 0 1 0 626744829 52019200 11701 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12700 11701 1111 63 0 12637 0
vsize: 50800
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 12517 0 0 0 9946 52 0 0 25 0 1 0 626744829 55128064 12483 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13459 12483 1111 63 0 13396 0
vsize: 53836
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 13129 0 0 0 10945 54 0 0 25 0 1 0 626744829 57724928 13094 4294967295 134512640 134714540 3221221744 3221220336 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14093 13094 1111 63 0 14030 0
vsize: 56372
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 13666 0 0 0 11942 57 0 0 25 0 1 0 626744829 59936768 13631 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14633 13631 1111 63 0 14570 0
vsize: 58532
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 14147 0 0 0 12941 58 0 0 25 0 1 0 626744829 61878272 14112 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15107 14112 1111 63 0 15044 0
vsize: 60428
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 14643 0 0 0 13939 60 0 0 25 0 1 0 626744829 63918080 14608 4294967295 134512640 134714540 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15605 14608 1111 63 0 15542 0
vsize: 62420
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 15101 0 0 0 14938 62 0 0 25 0 1 0 626744829 65884160 15062 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16085 15062 1111 63 0 16022 0
vsize: 64340
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 15582 0 0 0 15936 64 0 0 25 0 1 0 626744829 67981312 15543 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16597 15543 1111 63 0 16534 0
vsize: 66388
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 17061 0 0 0 16931 69 0 0 25 0 1 0 626744829 74067968 17021 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18083 17021 1111 63 0 18020 0
vsize: 72332
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 17956 0 0 0 17927 73 0 0 25 0 1 0 626744829 77742080 17915 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18980 17915 1111 63 0 18917 0
vsize: 75920
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 18597 0 0 0 18925 75 0 0 25 0 1 0 626744829 80326656 18556 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19611 18556 1111 63 0 19548 0
vsize: 78444
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 19643 0 0 0 19921 80 0 0 25 0 1 0 626744829 84652032 19599 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20667 19599 1111 63 0 20604 0
vsize: 82668
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 20337 0 0 0 20918 83 0 0 25 0 1 0 626744829 87490560 20293 4294967295 134512640 134714540 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21360 20293 1111 63 0 21297 0
vsize: 85440
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 20917 0 0 0 21915 86 0 0 25 0 1 0 626744829 89944064 20873 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21959 20873 1111 63 0 21896 0
vsize: 87836
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 21450 0 0 0 22913 89 0 0 25 0 1 0 626744829 92114944 21406 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22489 21406 1111 63 0 22426 0
vsize: 89956
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 21915 0 0 0 23911 91 0 0 25 0 1 0 626744829 94019584 21870 4294967295 134512640 134714540 3221221744 3221220336 134549670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22954 21870 1111 63 0 22891 0
vsize: 91816
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 22558 0 0 0 24909 93 0 0 25 0 1 0 626744829 96624640 22513 4294967295 134512640 134714540 3221221744 3221220340 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22513 1111 63 0 23527 0
vsize: 94360
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 23225 0 0 0 25906 96 0 0 25 0 1 0 626744829 99328000 23180 4294967295 134512640 134714540 3221221744 3221220528 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24250 23180 1111 63 0 24187 0
vsize: 97000
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 23838 0 0 0 26903 99 0 0 25 0 1 0 626744829 101756928 23792 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24843 23792 1111 63 0 24780 0
vsize: 99372
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 24285 0 0 0 27902 101 0 0 25 0 1 0 626744829 103694336 24239 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25316 24239 1111 63 0 25253 0
vsize: 101264
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 24893 0 0 0 28900 103 0 0 25 0 1 0 626744829 106147840 24847 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25915 24847 1111 63 0 25852 0
vsize: 103660
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 25475 0 0 0 29897 106 0 0 25 0 1 0 626744829 108593152 25425 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26512 25425 1111 63 0 26449 0
vsize: 106048
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 26135 0 0 0 30895 109 0 0 25 0 1 0 626744829 111333376 26085 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27181 26085 1111 63 0 27118 0
vsize: 108724
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 26744 0 0 0 31892 111 0 0 25 0 1 0 626744829 114028544 26691 4294967295 134512640 134714540 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27839 26691 1111 63 0 27776 0
vsize: 111356
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 27063 0 0 0 32891 112 0 0 25 0 1 0 626744829 115441664 27009 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28184 27009 1111 63 0 28121 0
vsize: 112736
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 27461 0 0 0 33890 114 0 0 25 0 1 0 626744829 117137408 27405 4294967295 134512640 134714540 3221221744 3221220236 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28598 27405 1111 63 0 28535 0
vsize: 114392
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 27710 0 0 0 34889 115 0 0 25 0 1 0 626744829 118095872 27654 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28832 27654 1111 63 0 28769 0
vsize: 115328
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 28539 0 0 0 35886 118 0 0 25 0 1 0 626744829 121597952 28481 4294967295 134512640 134714540 3221221744 3221220336 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29687 28481 1111 63 0 29624 0
vsize: 118748
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 29254 0 0 0 36884 120 0 0 25 0 1 0 626744829 124571648 29196 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30413 29196 1111 63 0 30350 0
vsize: 121652
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 29881 0 0 0 37882 122 0 0 25 0 1 0 626744829 127041536 29823 4294967295 134512640 134714540 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31016 29823 1111 63 0 30953 0
vsize: 124064
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 30311 0 0 0 38881 124 0 0 25 0 1 0 626744829 128811008 30253 4294967295 134512640 134714540 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31448 30253 1111 63 0 31385 0
vsize: 125792
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 30958 0 0 0 39879 126 0 0 25 0 1 0 626744829 131612672 30898 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32132 30898 1111 63 0 32069 0
vsize: 128528
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 31501 0 0 0 40877 128 0 0 25 0 1 0 626744829 133775360 31441 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32660 31441 1111 63 0 32597 0
vsize: 130640
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 31877 0 0 0 41876 130 0 0 25 0 1 0 626744829 135397376 31817 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33056 31817 1111 63 0 32993 0
vsize: 132224
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 32378 0 0 0 42874 131 0 0 25 0 1 0 626744829 137461760 32311 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33560 32311 1111 63 0 33497 0
vsize: 134240
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 32839 0 0 0 43873 133 0 0 25 0 1 0 626744829 139354112 32772 4294967295 134512640 134714540 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34022 32772 1111 63 0 33959 0
vsize: 136088
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 33125 0 0 0 44871 134 0 0 25 0 1 0 626744829 140455936 33058 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34291 33058 1111 63 0 34228 0
vsize: 137164
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 33500 0 0 0 45870 136 0 0 25 0 1 0 626744829 142077952 33433 4294967295 134512640 134714540 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34687 33433 1111 63 0 34624 0
vsize: 138748
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 33923 0 0 0 46868 138 0 0 25 0 1 0 626744829 143835136 33850 4294967295 134512640 134714540 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35116 33850 1111 63 0 35053 0
vsize: 140464
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 34288 0 0 0 47867 139 0 0 25 0 1 0 626744829 145248256 34215 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35461 34215 1111 63 0 35398 0
vsize: 141844
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 34568 0 0 0 48866 140 0 0 25 0 1 0 626744829 146571264 34493 4294967295 134512640 134714540 3221221744 3221220384 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35784 34493 1111 63 0 35721 0
vsize: 143136
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 34878 0 0 0 49865 141 0 0 25 0 1 0 626744829 147804160 34800 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36085 34800 1111 63 0 36022 0
vsize: 144340
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 35076 0 0 0 50864 142 0 0 25 0 1 0 626744829 148750336 34997 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36316 34997 1111 63 0 36253 0
vsize: 145264
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 35262 0 0 0 51864 143 0 0 25 0 1 0 626744829 149434368 35182 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36483 35182 1111 63 0 36420 0
vsize: 145932
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 35487 0 0 0 52863 144 0 0 25 0 1 0 626744829 150429696 35403 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36726 35403 1111 63 0 36663 0
vsize: 146904
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 35802 0 0 0 53862 146 0 0 25 0 1 0 626744829 151646208 35718 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37023 35718 1111 63 0 36960 0
vsize: 148092
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 36074 0 0 0 54861 147 0 0 25 0 1 0 626744829 152752128 35986 4294967295 134512640 134714540 3221221744 3221220244 134535326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37293 35986 1111 63 0 37230 0
vsize: 149172
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 36377 0 0 0 55860 148 0 0 25 0 1 0 626744829 154001408 36288 4294967295 134512640 134714540 3221221744 3221220448 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37598 36288 1111 63 0 37535 0
vsize: 150392
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 36597 0 0 0 56860 148 0 0 25 0 1 0 626744829 154812416 36508 4294967295 134512640 134714540 3221221744 3221220380 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37796 36508 1111 63 0 37733 0
vsize: 151184
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 36904 0 0 0 57858 150 0 0 25 0 1 0 626744829 156028928 36815 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38093 36815 1111 63 0 38030 0
vsize: 152372
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 37210 0 0 0 58857 151 0 0 25 0 1 0 626744829 157270016 37121 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38396 37121 1111 63 0 38333 0
vsize: 153584
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 37511 0 0 0 59855 153 0 0 25 0 1 0 626744829 158597120 37421 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38720 37421 1111 63 0 38657 0
vsize: 154880
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 37692 0 0 0 60854 154 0 0 25 0 1 0 626744829 159272960 37602 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38885 37602 1111 63 0 38822 0
vsize: 155540
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 37923 0 0 0 61853 155 0 0 25 0 1 0 626744829 160256000 37829 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39125 37829 1111 63 0 39062 0
vsize: 156500
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 38143 0 0 0 62852 157 0 0 25 0 1 0 626744829 161067008 38049 4294967295 134512640 134714540 3221221744 3221220464 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39323 38049 1111 63 0 39260 0
vsize: 157292
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 38339 0 0 0 63852 157 0 0 25 0 1 0 626744829 161878016 38245 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39521 38245 1111 63 0 39458 0
vsize: 158084
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 38516 0 0 0 64851 158 0 0 25 0 1 0 626744829 162697216 38420 4294967295 134512640 134714540 3221221744 3221220464 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39721 38420 1111 63 0 39658 0
vsize: 158884
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 38694 0 0 0 65851 158 0 0 25 0 1 0 626744829 163377152 38598 4294967295 134512640 134714540 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39887 38598 1111 63 0 39824 0
vsize: 159548
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 38972 0 0 0 66851 159 0 0 25 0 1 0 626744829 164458496 38876 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40151 38876 1111 63 0 40088 0
vsize: 160604
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 39212 0 0 0 67850 160 0 0 25 0 1 0 626744829 165404672 39116 4294967295 134512640 134714540 3221221744 3221220508 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40382 39116 1111 63 0 40319 0
vsize: 161528
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 39413 0 0 0 68849 161 0 0 25 0 1 0 626744829 166281216 39317 4294967295 134512640 134714540 3221221744 3221220468 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40596 39317 1111 63 0 40533 0
vsize: 162384
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 39585 0 0 0 69849 162 0 0 25 0 1 0 626744829 167079936 39487 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40791 39487 1111 63 0 40728 0
vsize: 163164
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 39766 0 0 0 70848 163 0 0 25 0 1 0 626744829 167907328 39665 4294967295 134512640 134714540 3221221744 3221220528 134528801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40993 39665 1111 63 0 40930 0
vsize: 163972
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 40001 0 0 0 71848 163 0 0 25 0 1 0 626744829 168853504 39900 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41224 39900 1111 63 0 41161 0
vsize: 164896
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 40247 0 0 0 72847 164 0 0 25 0 1 0 626744829 169799680 40146 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41455 40146 1111 63 0 41392 0
vsize: 165820
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 40424 0 0 0 73847 164 0 0 25 0 1 0 626744829 170475520 40323 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41620 40323 1111 63 0 41557 0
vsize: 166480
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 40566 0 0 0 74847 165 0 0 25 0 1 0 626744829 171151360 40465 4294967295 134512640 134714540 3221221744 3221220432 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41785 40465 1111 63 0 41722 0
vsize: 167140
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 41081 0 0 0 75845 167 0 0 25 0 1 0 626744829 173244416 40977 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42296 40977 1111 63 0 42233 0
vsize: 169184
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 41711 0 0 0 76842 170 0 0 25 0 1 0 626744829 175812608 41607 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42923 41607 1111 63 0 42860 0
vsize: 171692
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 42164 0 0 0 77840 172 0 0 25 0 1 0 626744829 177704960 42060 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43385 42060 1111 63 0 43322 0
vsize: 173540
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 42611 0 0 0 78839 174 0 0 25 0 1 0 626744829 179462144 42507 4294967295 134512640 134714540 3221221744 3221220532 134529422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43814 42507 1111 63 0 43751 0
vsize: 175256
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 43167 0 0 0 79837 176 0 0 25 0 1 0 626744829 181760000 43063 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44375 43063 1111 63 0 44312 0
vsize: 177500
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 43558 0 0 0 80835 178 0 0 25 0 1 0 626744829 183382016 43454 4294967295 134512640 134714540 3221221744 3221220448 134535812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44771 43454 1111 63 0 44708 0
vsize: 179084
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 43988 0 0 0 81833 180 0 0 25 0 1 0 626744829 185139200 43884 4294967295 134512640 134714540 3221221744 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45200 43884 1111 63 0 45137 0
vsize: 180800
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 44419 0 0 0 82832 182 0 0 25 0 1 0 626744829 186896384 44315 4294967295 134512640 134714540 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45629 44315 1111 63 0 45566 0
vsize: 182516
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 44794 0 0 0 83830 183 0 0 25 0 1 0 626744829 188383232 44690 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45992 44690 1111 63 0 45929 0
vsize: 183968
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 45038 0 0 0 84830 184 0 0 25 0 1 0 626744829 189464576 44934 4294967295 134512640 134714540 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46256 44934 1111 63 0 46193 0
vsize: 185024
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 45218 0 0 0 85829 185 0 0 25 0 1 0 626744829 190205952 45113 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46437 45113 1111 63 0 46374 0
vsize: 185748
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 45625 0 0 0 86828 186 0 0 25 0 1 0 626744829 191893504 45515 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46849 45515 1111 63 0 46786 0
vsize: 187396
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 46173 0 0 0 87826 188 0 0 25 0 1 0 626744829 194191360 46063 4294967295 134512640 134714540 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47410 46063 1111 63 0 47347 0
vsize: 189640
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 46506 0 0 0 88825 189 0 0 25 0 1 0 626744829 195543040 46396 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47740 46396 1111 63 0 47677 0
vsize: 190960
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 46872 0 0 0 89824 190 0 0 25 0 1 0 626744829 196890624 46762 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48069 46762 1111 63 0 48006 0
vsize: 192276
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 47137 0 0 0 90823 191 0 0 25 0 1 0 626744829 197971968 47027 4294967295 134512640 134714540 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48333 47027 1111 63 0 48270 0
vsize: 193332
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 47483 0 0 0 91822 193 0 0 25 0 1 0 626744829 199458816 47373 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48696 47373 1111 63 0 48633 0
vsize: 194784
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 47712 0 0 0 92822 193 0 0 25 0 1 0 626744829 200404992 47602 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48927 47602 1111 63 0 48864 0
vsize: 195708
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 47922 0 0 0 93821 195 0 0 25 0 1 0 626744829 201351168 47812 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49158 47812 1111 63 0 49095 0
vsize: 196632
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 48228 0 0 0 94820 196 0 0 25 0 1 0 626744829 202682368 48114 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49483 48114 1111 63 0 49420 0
vsize: 197932
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 48512 0 0 0 95819 197 0 0 25 0 1 0 626744829 203776000 48398 4294967295 134512640 134714540 3221221744 3221220416 134551978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49750 48398 1111 63 0 49687 0
vsize: 199000
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 48724 0 0 0 96818 198 0 0 25 0 1 0 626744829 204722176 48610 4294967295 134512640 134714540 3221221744 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48610 1111 63 0 49918 0
vsize: 199924
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 48947 0 0 0 97818 198 0 0 25 0 1 0 626744829 205754368 48829 4294967295 134512640 134714540 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50233 48829 1111 63 0 50170 0
vsize: 200932
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 49236 0 0 0 98817 199 0 0 25 0 1 0 626744829 206835712 49118 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50497 49118 1111 63 0 50434 0
vsize: 201988
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 49404 0 0 0 99817 200 0 0 25 0 1 0 626744829 207577088 49286 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50678 49286 1111 63 0 50615 0
vsize: 202712
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 49686 0 0 0 100815 202 0 0 25 0 1 0 626744829 208859136 49559 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50991 49559 1111 63 0 50928 0
vsize: 203964
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 49944 0 0 0 101815 202 0 0 25 0 1 0 626744829 210006016 49813 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51271 49813 1111 63 0 51208 0
vsize: 205084
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 50193 0 0 0 102813 204 0 0 25 0 1 0 626744829 210952192 50062 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51502 50062 1111 63 0 51439 0
vsize: 206008
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 50369 0 0 0 103813 205 0 0 25 0 1 0 626744829 211562496 50238 4294967295 134512640 134714540 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51651 50238 1111 63 0 51588 0
vsize: 206604
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 50585 0 0 0 104812 206 0 0 25 0 1 0 626744829 212574208 50451 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51898 50451 1111 63 0 51835 0
vsize: 207592
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 50810 0 0 0 105811 207 0 0 25 0 1 0 626744829 213651456 50666 4294967295 134512640 134714540 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52161 50666 1111 63 0 52098 0
vsize: 208644
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 50957 0 0 0 106810 208 0 0 25 0 1 0 626744829 214257664 50813 4294967295 134512640 134714540 3221221744 3221220184 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52309 50813 1111 63 0 52246 0
vsize: 209236
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 51237 0 0 0 107809 209 0 0 25 0 1 0 626744829 215404544 51090 4294967295 134512640 134714540 3221221744 3221220528 134529168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52589 51090 1111 63 0 52526 0
vsize: 210356
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 51586 0 0 0 108808 211 0 0 25 0 1 0 626744829 216891392 51439 4294967295 134512640 134714540 3221221744 3221220528 134529269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52952 51439 1111 63 0 52889 0
vsize: 211808
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 51829 0 0 0 109807 212 0 0 25 0 1 0 626744829 217837568 51682 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53183 51682 1111 63 0 53120 0
vsize: 212732
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 51996 0 0 0 110806 213 0 0 25 0 1 0 626744829 218513408 51849 4294967295 134512640 134714540 3221221744 3221220448 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53348 51849 1111 63 0 53285 0
vsize: 213392
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 52201 0 0 0 111806 213 0 0 25 0 1 0 626744829 219418624 52051 4294967295 134512640 134714540 3221221744 3221220380 134549858 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53569 52051 1111 63 0 53506 0
vsize: 214276
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 52389 0 0 0 112806 214 0 0 25 0 1 0 626744829 220094464 52239 4294967295 134512640 134714540 3221221744 3221220240 134535471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53734 52239 1111 63 0 53671 0
vsize: 214936
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 52607 0 0 0 113805 214 0 0 25 0 1 0 626744829 221040640 52457 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53965 52457 1111 63 0 53902 0
vsize: 215860
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 52844 0 0 0 114805 215 0 0 25 0 1 0 626744829 222105600 52694 4294967295 134512640 134714540 3221221744 3221220300 134535628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54225 52694 1111 63 0 54162 0
vsize: 216900
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 53067 0 0 0 115804 216 0 0 25 0 1 0 626744829 222916608 52917 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54423 52917 1111 63 0 54360 0
vsize: 217692
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 53235 0 0 0 116804 216 0 0 25 0 1 0 626744829 223592448 53085 4294967295 134512640 134714540 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54588 53085 1111 63 0 54525 0
vsize: 218352
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6048
Raw data (stat): 6048 (bsolo_mis) R 6047 3722 3553 0 -1 0 53235 0 0 0 116804 216 0 0 25 0 1 0 626744829 223592448 53085 4294967295 134512640 134714540 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54588 53085 1111 63 0 54525 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.15
CPU user time (s): 1172.87
CPU system time (s): 2.27165
CPU usage (%): 100.013
Max. virtual memory (Kb): 218352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####