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/miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM	098fe473d82d5f7d4121673eb775be76
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22199
Optimality of the best value was proved	NO
Number of terms in the objective function	572
Biggest coefficient in the objective function	5000
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	547769
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	547769
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	30.1944
Number of variables	572
Total number of constraints	716
Number of constraints which are clauses	3
Number of constraints which are cardinality constraints (but not clauses)	644
Number of constraints which are nor clauses,nor cardinality constraints	69
Minimum length of a constraint	1
Maximum length of a constraint	518
Trace number 26718

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909716 kB
Buffers:         36216 kB
Cached:          65636 kB
SwapCached:        624 kB
Active:          59568 kB
Inactive:        44688 kB
HighTotal:      131008 kB
HighFree:        65352 kB
LowTotal:       903652 kB
LowFree:        844364 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            15180 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:05:43 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 11755 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 572 variables and 215 constraints.
c After prepocess the problem consists of 566 variables and 215 constraints.
c preprocess terminated 1.262 s
c Initial Lower Bound: 15237
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.85 0.97 0.98 2/54 5916
Raw data (stat): 5916 (runsolver) R 5915 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831783413 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4254 0 0 0 987 12 0 0 25 0 1 0 831783413 21008384 4228 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5129 4228 1111 63 0 5066 0
vsize: 20516
[startup+20 s]
Raw data (loadavg): 0.89 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4371 0 0 0 1984 14 0 0 25 0 1 0 831783413 21549056 4345 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4345 1111 63 0 5198 0
vsize: 21044
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4397 0 0 0 2983 16 0 0 25 0 1 0 831783413 21684224 4371 4294967295 134512640 134714540 3221224592 3221223360 134542626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5294 4371 1111 63 0 5231 0
vsize: 21176
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4470 0 0 0 3981 18 0 0 25 0 1 0 831783413 21942272 4444 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 4444 1111 63 0 5294 0
vsize: 21428
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4494 0 0 0 4980 19 0 0 25 0 1 0 831783413 22077440 4468 4294967295 134512640 134714540 3221224592 3221223348 134592387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4468 1111 63 0 5327 0
vsize: 21560
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4563 0 0 0 5978 21 0 0 25 0 1 0 831783413 22347776 4537 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4537 1111 63 0 5393 0
vsize: 21824
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4574 0 0 0 6976 23 0 0 25 0 1 0 831783413 22347776 4548 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4548 1111 63 0 5393 0
vsize: 21824
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4606 0 0 0 7975 25 0 0 25 0 1 0 831783413 22482944 4580 4294967295 134512640 134714540 3221224592 3221223284 134542981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5489 4580 1111 63 0 5426 0
vsize: 21956
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4639 0 0 0 8973 27 0 0 25 0 1 0 831783413 22614016 4613 4294967295 134512640 134714540 3221224592 3221223320 134591837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5521 4613 1111 63 0 5458 0
vsize: 22084
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4671 0 0 0 9971 29 0 0 25 0 1 0 831783413 22749184 4645 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5554 4645 1111 63 0 5491 0
vsize: 22216
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 4962 0 0 0 10970 30 0 0 25 0 1 0 831783413 23953408 4936 4294967295 134512640 134714540 3221224592 3221223376 134558501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5848 4936 1111 63 0 5785 0
vsize: 23392
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5050 0 0 0 11969 31 0 0 25 0 1 0 831783413 24358912 5024 4294967295 134512640 134714540 3221224592 3221223344 134556640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5947 5024 1111 63 0 5884 0
vsize: 23788
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5233 0 0 0 12968 33 0 0 25 0 1 0 831783413 25026560 5207 4294967295 134512640 134714540 3221224592 3221223152 134540488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 5207 1111 63 0 6047 0
vsize: 24440
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5392 0 0 0 13967 34 0 0 25 0 1 0 831783413 25702400 5366 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6275 5366 1111 63 0 6212 0
vsize: 25100
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5480 0 0 0 14966 35 0 0 25 0 1 0 831783413 26107904 5454 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6374 5454 1111 63 0 6311 0
vsize: 25496
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5536 0 0 0 15964 37 0 0 25 0 1 0 831783413 26243072 5510 4294967295 134512640 134714540 3221224592 3221223276 134535484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6407 5510 1111 63 0 6344 0
vsize: 25628
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5550 0 0 0 16963 39 0 0 25 0 1 0 831783413 26378240 5524 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6440 5524 1111 63 0 6377 0
vsize: 25760
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5591 0 0 0 17961 41 0 0 25 0 1 0 831783413 26513408 5565 4294967295 134512640 134714540 3221224592 3221223336 134672936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6473 5565 1111 63 0 6410 0
vsize: 25892
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5641 0 0 0 18960 42 0 0 25 0 1 0 831783413 26783744 5615 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6539 5615 1111 63 0 6476 0
vsize: 26156
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5727 0 0 0 19958 44 0 0 25 0 1 0 831783413 27066368 5701 4294967295 134512640 134714540 3221224592 3221223180 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5701 1111 63 0 6545 0
vsize: 26432
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5810 0 0 0 20956 46 0 0 25 0 1 0 831783413 27471872 5784 4294967295 134512640 134714540 3221224592 3221223280 134524456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5784 1111 63 0 6644 0
vsize: 26828
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 5961 0 0 0 21955 48 0 0 25 0 1 0 831783413 28008448 5935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 5935 1111 63 0 6775 0
vsize: 27352
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6196 0 0 0 22954 49 0 0 25 0 1 0 831783413 28950528 6170 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7068 6170 1111 63 0 7005 0
vsize: 28272
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6299 0 0 0 23952 51 0 0 25 0 1 0 831783413 29458432 6273 4294967295 134512640 134714540 3221224592 3221223184 134696151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7192 6273 1111 63 0 7129 0
vsize: 28768
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6561 0 0 0 24949 54 0 0 25 0 1 0 831783413 30535680 6535 4294967295 134512640 134714540 3221224592 3221223344 134592416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6535 1111 63 0 7392 0
vsize: 29820
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6650 0 0 0 25947 56 0 0 25 0 1 0 831783413 30932992 6624 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7552 6624 1111 63 0 7489 0
vsize: 30208
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6708 0 0 0 26946 57 0 0 25 0 1 0 831783413 31047680 6682 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7580 6682 1111 63 0 7517 0
vsize: 30320
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6777 0 0 0 27945 59 0 0 25 0 1 0 831783413 31428608 6751 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 6751 1111 63 0 7610 0
vsize: 30692
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6829 0 0 0 28943 61 0 0 25 0 1 0 831783413 31567872 6803 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6803 1111 63 0 7644 0
vsize: 30828
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6829 0 0 0 29942 62 0 0 25 0 1 0 831783413 31567872 6803 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6803 1111 63 0 7644 0
vsize: 30828
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6829 0 0 0 30941 63 0 0 25 0 1 0 831783413 31567872 6803 4294967295 134512640 134714540 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6803 1111 63 0 7644 0
vsize: 30828
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6899 0 0 0 31940 64 0 0 25 0 1 0 831783413 31838208 6873 4294967295 134512640 134714540 3221224592 3221223100 1076533396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7773 6873 1111 63 0 7710 0
vsize: 31092
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6927 0 0 0 32939 66 0 0 25 0 1 0 831783413 31973376 6901 4294967295 134512640 134714540 3221224592 3221223152 134540040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6901 1111 63 0 7743 0
vsize: 31224
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6927 0 0 0 33938 67 0 0 25 0 1 0 831783413 31973376 6901 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6901 1111 63 0 7743 0
vsize: 31224
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6927 0 0 0 34938 67 0 0 25 0 1 0 831783413 31973376 6901 4294967295 134512640 134714540 3221224592 3221223248 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6901 1111 63 0 7743 0
vsize: 31224
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 6927 0 0 0 35937 68 0 0 25 0 1 0 831783413 31973376 6901 4294967295 134512640 134714540 3221224592 3221223268 1077374543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6901 1111 63 0 7743 0
vsize: 31224
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7032 0 0 0 36936 69 0 0 25 0 1 0 831783413 32378880 7006 4294967295 134512640 134714540 3221224592 3221223264 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7905 7006 1111 63 0 7842 0
vsize: 31620
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7094 0 0 0 37936 70 0 0 25 0 1 0 831783413 32649216 7068 4294967295 134512640 134714540 3221224592 3221223252 1077378648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7971 7068 1111 63 0 7908 0
vsize: 31884
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7116 0 0 0 38934 72 0 0 25 0 1 0 831783413 32784384 7090 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8004 7090 1111 63 0 7941 0
vsize: 32016
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7139 0 0 0 39934 73 0 0 25 0 1 0 831783413 32919552 7113 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8037 7113 1111 63 0 7974 0
vsize: 32148
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7146 0 0 0 40933 74 0 0 25 0 1 0 831783413 32919552 7120 4294967295 134512640 134714540 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8037 7120 1111 63 0 7974 0
vsize: 32148
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7210 0 0 0 41932 75 0 0 25 0 1 0 831783413 33165312 7184 4294967295 134512640 134714540 3221224592 3221223344 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 7184 1111 63 0 8034 0
vsize: 32388
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7361 0 0 0 42930 76 0 0 25 0 1 0 831783413 33824768 7335 4294967295 134512640 134714540 3221224592 3221223232 134538892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 7335 1111 63 0 8195 0
vsize: 33032
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7423 0 0 0 43928 79 0 0 25 0 1 0 831783413 34095104 7397 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 7397 1111 63 0 8261 0
vsize: 33296
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7466 0 0 0 44927 80 0 0 25 0 1 0 831783413 34160640 7440 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 7440 1111 63 0 8277 0
vsize: 33360
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7509 0 0 0 45926 81 0 0 25 0 1 0 831783413 34430976 7483 4294967295 134512640 134714540 3221224592 3221223336 134591941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8406 7483 1111 63 0 8343 0
vsize: 33624
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7554 0 0 0 46925 83 0 0 25 0 1 0 831783413 34541568 7528 4294967295 134512640 134714540 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8433 7528 1111 63 0 8370 0
vsize: 33732
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7554 0 0 0 47924 84 0 0 25 0 1 0 831783413 34541568 7528 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8433 7528 1111 63 0 8370 0
vsize: 33732
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7554 0 0 0 48923 85 0 0 25 0 1 0 831783413 34541568 7528 4294967295 134512640 134714540 3221224592 3221223184 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8433 7528 1111 63 0 8370 0
vsize: 33732
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7624 0 0 0 49922 86 0 0 25 0 1 0 831783413 34811904 7598 4294967295 134512640 134714540 3221224592 3221223152 134539760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8499 7598 1111 63 0 8436 0
vsize: 33996
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7773 0 0 0 50921 87 0 0 25 0 1 0 831783413 35500032 7747 4294967295 134512640 134714540 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8667 7747 1111 63 0 8604 0
vsize: 34668
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7841 0 0 0 51920 88 0 0 25 0 1 0 831783413 35770368 7815 4294967295 134512640 134714540 3221224592 3221223392 134611010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8733 7815 1111 63 0 8670 0
vsize: 34932
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7871 0 0 0 52920 89 0 0 25 0 1 0 831783413 35905536 7845 4294967295 134512640 134714540 3221224592 3221223296 134591904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8766 7845 1111 63 0 8703 0
vsize: 35064
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 7973 0 0 0 53918 91 0 0 25 0 1 0 831783413 36311040 7947 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8865 7947 1111 63 0 8802 0
vsize: 35460
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8017 0 0 0 54917 92 0 0 25 0 1 0 831783413 36446208 7991 4294967295 134512640 134714540 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 7991 1111 63 0 8835 0
vsize: 35592
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8066 0 0 0 55916 94 0 0 25 0 1 0 831783413 36716544 8040 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8040 1111 63 0 8901 0
vsize: 35856
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8073 0 0 0 56915 95 0 0 25 0 1 0 831783413 36716544 8047 4294967295 134512640 134714540 3221224592 3221223272 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8047 1111 63 0 8901 0
vsize: 35856
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8109 0 0 0 57914 96 0 0 25 0 1 0 831783413 36851712 8083 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8997 8083 1111 63 0 8934 0
vsize: 35988
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8197 0 0 0 58913 97 0 0 25 0 1 0 831783413 37257216 8171 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9096 8171 1111 63 0 9033 0
vsize: 36384
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8251 0 0 0 59911 99 0 0 25 0 1 0 831783413 37392384 8225 4294967295 134512640 134714540 3221224592 3221223408 134611427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9129 8225 1111 63 0 9066 0
vsize: 36516
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8298 0 0 0 60910 100 0 0 25 0 1 0 831783413 37662720 8272 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9195 8272 1111 63 0 9132 0
vsize: 36780
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8366 0 0 0 61909 102 0 0 25 0 1 0 831783413 37933056 8340 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8340 1111 63 0 9198 0
vsize: 37044
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8366 0 0 0 62908 103 0 0 25 0 1 0 831783413 37933056 8340 4294967295 134512640 134714540 3221224592 3221223212 134536754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8340 1111 63 0 9198 0
vsize: 37044
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8366 0 0 0 63907 104 0 0 25 0 1 0 831783413 37933056 8340 4294967295 134512640 134714540 3221224592 3221223384 134536913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8340 1111 63 0 9198 0
vsize: 37044
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8473 0 0 0 64906 105 0 0 25 0 1 0 831783413 38338560 8447 4294967295 134512640 134714540 3221224592 3221223340 134535606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9360 8447 1111 63 0 9297 0
vsize: 37440
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8583 0 0 0 65905 106 0 0 25 0 1 0 831783413 38731776 8557 4294967295 134512640 134714540 3221224592 3221223384 134556377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9456 8557 1111 63 0 9393 0
vsize: 37824
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8641 0 0 0 66904 108 0 0 25 0 1 0 831783413 39002112 8615 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9522 8615 1111 63 0 9459 0
vsize: 38088
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8681 0 0 0 67903 108 0 0 25 0 1 0 831783413 39137280 8655 4294967295 134512640 134714540 3221224592 3221223228 134523384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9555 8655 1111 63 0 9492 0
vsize: 38220
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8702 0 0 0 68902 110 0 0 25 0 1 0 831783413 39272448 8676 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9588 8676 1111 63 0 9525 0
vsize: 38352
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8731 0 0 0 69901 111 0 0 25 0 1 0 831783413 39407616 8705 4294967295 134512640 134714540 3221224592 3221222996 1077374207 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 8705 1111 63 0 9558 0
vsize: 38484
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8738 0 0 0 70900 113 0 0 25 0 1 0 831783413 39407616 8712 4294967295 134512640 134714540 3221224592 3221223408 134622189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 8712 1111 63 0 9558 0
vsize: 38484
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8754 0 0 0 71899 114 0 0 25 0 1 0 831783413 39542784 8728 4294967295 134512640 134714540 3221224592 3221223152 134540022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8728 1111 63 0 9591 0
vsize: 38616
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8757 0 0 0 72898 115 0 0 25 0 1 0 831783413 39542784 8731 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8731 1111 63 0 9591 0
vsize: 38616
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8835 0 0 0 73896 116 0 0 25 0 1 0 831783413 39813120 8809 4294967295 134512640 134714540 3221224592 3221223344 134592393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9720 8809 1111 63 0 9657 0
vsize: 38880
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8871 0 0 0 74895 118 0 0 25 0 1 0 831783413 39948288 8845 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9753 8845 1111 63 0 9690 0
vsize: 39012
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8883 0 0 0 75893 120 0 0 25 0 1 0 831783413 40083456 8857 4294967295 134512640 134714540 3221224592 3221223360 134592140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9786 8857 1111 63 0 9723 0
vsize: 39144
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8915 0 0 0 76892 122 0 0 25 0 1 0 831783413 40083456 8889 4294967295 134512640 134714540 3221224592 3221223364 134542620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9786 8889 1111 63 0 9723 0
vsize: 39144
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8919 0 0 0 77890 123 0 0 25 0 1 0 831783413 40218624 8893 4294967295 134512640 134714540 3221224592 3221223312 134591857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9819 8893 1111 63 0 9756 0
vsize: 39276
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8919 0 0 0 78890 124 0 0 25 0 1 0 831783413 40214528 8893 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9818 8893 1111 63 0 9755 0
vsize: 39272
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8931 0 0 0 79888 126 0 0 25 0 1 0 831783413 40214528 8905 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9818 8905 1111 63 0 9755 0
vsize: 39272
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8935 0 0 0 80887 127 0 0 25 0 1 0 831783413 40214528 8909 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9818 8909 1111 63 0 9755 0
vsize: 39272
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8967 0 0 0 81886 129 0 0 25 0 1 0 831783413 40349696 8941 4294967295 134512640 134714540 3221224592 3221223340 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9851 8941 1111 63 0 9788 0
vsize: 39404
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5916
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8975 0 0 0 82884 131 0 0 25 0 1 0 831783413 40349696 8949 4294967295 134512640 134714540 3221224592 3221223344 134592419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9851 8949 1111 63 0 9788 0
vsize: 39404
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.98 3/57 5956
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 8997 0 0 0 83882 132 0 0 25 0 1 0 831783413 40484864 8971 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9884 8971 1111 63 0 9821 0
vsize: 39536
[startup+850.022 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9062 0 0 0 84880 134 0 0 25 0 1 0 831783413 40742912 9036 4294967295 134512640 134714540 3221224592 3221223400 134622628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9947 9036 1111 63 0 9884 0
vsize: 39788
[startup+860.022 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9090 0 0 0 85879 136 0 0 25 0 1 0 831783413 40878080 9064 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 9064 1111 63 0 9917 0
vsize: 39920
[startup+870.022 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9090 0 0 0 86878 137 0 0 25 0 1 0 831783413 40878080 9064 4294967295 134512640 134714540 3221224592 3221223340 134535606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 9064 1111 63 0 9917 0
vsize: 39920
[startup+880.021 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9114 0 0 0 87876 139 0 0 25 0 1 0 831783413 41013248 9088 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10013 9088 1111 63 0 9950 0
vsize: 40052
[startup+890.022 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9147 0 0 0 88874 141 0 0 25 0 1 0 831783413 41148416 9121 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10046 9121 1111 63 0 9983 0
vsize: 40184
[startup+900.022 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 5969
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9156 0 0 0 89874 141 0 0 25 0 1 0 831783413 41148416 9130 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10046 9130 1111 63 0 9983 0
vsize: 40184
[startup+910.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9158 0 0 0 90873 143 0 0 25 0 1 0 831783413 41148416 9132 4294967295 134512640 134714540 3221224592 3221223060 1077374446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10046 9132 1111 63 0 9983 0
vsize: 40184
[startup+920.023 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9202 0 0 0 91872 144 0 0 25 0 1 0 831783413 41283584 9176 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9176 1111 63 0 10016 0
vsize: 40316
[startup+930.023 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9202 0 0 0 92871 145 0 0 25 0 1 0 831783413 41283584 9176 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9176 1111 63 0 10016 0
vsize: 40316
[startup+940.023 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9243 0 0 0 93869 147 0 0 25 0 1 0 831783413 41517056 9217 4294967295 134512640 134714540 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 9217 1111 63 0 10073 0
vsize: 40544
[startup+950.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9251 0 0 0 94869 147 0 0 25 0 1 0 831783413 41517056 9225 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10136 9225 1111 63 0 10073 0
vsize: 40544
[startup+960.023 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9284 0 0 0 95867 150 0 0 25 0 1 0 831783413 41652224 9258 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10169 9258 1111 63 0 10106 0
vsize: 40676
[startup+970.023 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9334 0 0 0 96866 151 0 0 25 0 1 0 831783413 41910272 9308 4294967295 134512640 134714540 3221224592 3221223180 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 9308 1111 63 0 10169 0
vsize: 40928
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9334 0 0 0 97865 152 0 0 25 0 1 0 831783413 41910272 9308 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 9308 1111 63 0 10169 0
vsize: 40928
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9356 0 0 0 98864 153 0 0 25 0 1 0 831783413 41910272 9330 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 9330 1111 63 0 10169 0
vsize: 40928
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9356 0 0 0 99862 155 0 0 25 0 1 0 831783413 41910272 9330 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 9330 1111 63 0 10169 0
vsize: 40928
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9411 0 0 0 100861 156 0 0 25 0 1 0 831783413 42180608 9385 4294967295 134512640 134714540 3221224592 3221223160 1077377574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9385 1111 63 0 10235 0
vsize: 41192
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9417 0 0 0 101860 158 0 0 25 0 1 0 831783413 42180608 9391 4294967295 134512640 134714540 3221224592 3221223256 134523854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9391 1111 63 0 10235 0
vsize: 41192
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9420 0 0 0 102859 159 0 0 25 0 1 0 831783413 42180608 9394 4294967295 134512640 134714540 3221224592 3221223376 134695685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9394 1111 63 0 10235 0
vsize: 41192
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9469 0 0 0 103859 160 0 0 25 0 1 0 831783413 42450944 9443 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10364 9443 1111 63 0 10301 0
vsize: 41456
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9505 0 0 0 104857 161 0 0 25 0 1 0 831783413 42586112 9479 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10397 9479 1111 63 0 10334 0
vsize: 41588
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9511 0 0 0 105856 162 0 0 25 0 1 0 831783413 42586112 9485 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10397 9485 1111 63 0 10334 0
vsize: 41588
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9511 0 0 0 106856 163 0 0 25 0 1 0 831783413 42586112 9485 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10397 9485 1111 63 0 10334 0
vsize: 41588
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9519 0 0 0 107854 164 0 0 25 0 1 0 831783413 42586112 9493 4294967295 134512640 134714540 3221224592 3221223340 134672949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10397 9493 1111 63 0 10334 0
vsize: 41588
[startup+1090.02 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9555 0 0 0 108853 166 0 0 25 0 1 0 831783413 42721280 9529 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10430 9532 1111 63 0 10367 0
vsize: 41720
[startup+1100.02 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9558 0 0 0 109852 167 0 0 25 0 1 0 831783413 42721280 9532 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10430 9532 1111 63 0 10367 0
vsize: 41720
[startup+1110.02 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9558 0 0 0 110851 168 0 0 25 0 1 0 831783413 42721280 9532 4294967295 134512640 134714540 3221224592 3221223152 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10430 9532 1111 63 0 10367 0
vsize: 41720
[startup+1120.03 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9625 0 0 0 111851 169 0 0 25 0 1 0 831783413 42991616 9599 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 9599 1111 63 0 10433 0
vsize: 41984
[startup+1130.03 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9662 0 0 0 112850 171 0 0 25 0 1 0 831783413 43261952 9636 4294967295 134512640 134714540 3221224592 3221223216 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10562 9636 1111 63 0 10499 0
vsize: 42248
[startup+1140.04 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9716 0 0 0 113849 172 0 0 25 0 1 0 831783413 43397120 9690 4294967295 134512640 134714540 3221224592 3221223212 134613966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9690 1111 63 0 10532 0
vsize: 42380
[startup+1150.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9716 0 0 0 114848 173 0 0 25 0 1 0 831783413 43397120 9690 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9690 1111 63 0 10532 0
vsize: 42380
[startup+1160.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9716 0 0 0 115847 174 0 0 25 0 1 0 831783413 43397120 9690 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9690 1111 63 0 10532 0
vsize: 42380
[startup+1170.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 5971
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9717 0 0 0 116846 176 0 0 25 0 1 0 831783413 43397120 9691 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9691 1111 63 0 10532 0
vsize: 42380
[startup+1174.85 s]
Raw data (loadavg): 1.02 1.00 0.99 1/53 5973
Raw data (stat): 5916 (bsolo_mis) R 5915 4613 4612 0 -1 0 9717 0 0 0 116846 176 0 0 25 0 1 0 831783413 43397120 9691 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9691 1111 63 0 10532 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.04
CPU user time (s): 1173.25
CPU system time (s): 1.79073
CPU usage (%): 100.016
Max. virtual memory (Kb): 42380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####