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-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.7554
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 26456

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 15:40:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13341 boxname=wulflinc4 idbench=1027 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 13341
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        869636 kB
Buffers:         33932 kB
Cached:         110336 kB
SwapCached:        504 kB
Active:          55740 kB
Inactive:        91084 kB
HighTotal:      131008 kB
HighFree:        30716 kB
LowTotal:       903652 kB
LowFree:        838920 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5940 kB
Slab:            12516 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:00:34 (client local time) WITH STATUS 0 IN 1175.34 SECONDS
stats: 13341 7 1175.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.227 s
c Initial Lower Bound: 2794000
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.91 0.95 0.98 2/54 21731
Raw data (stat): 21731 (runsolver) R 21730 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773165187 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.92 0.95 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 12274 0 0 0 967 31 0 0 25 0 1 0 773165187 53907456 12244 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13161 12244 1111 63 0 13098 0
vsize: 52644
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 19623 0 0 0 1947 51 0 0 25 0 1 0 773165187 84639744 19522 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20664 19522 1111 63 0 20601 0
vsize: 82656
[startup+30.0009 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 26906 0 0 0 2929 69 0 0 25 0 1 0 773165187 115470336 26658 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26658 1111 63 0 28128 0
vsize: 112764
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 32970 0 0 0 3914 84 0 0 25 0 1 0 773165187 139661312 32706 4294967295 134512640 134714540 3221224592 3221223308 134553612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34097 32706 1111 63 0 34034 0
vsize: 136388
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 40722 0 0 0 4895 104 0 0 25 0 1 0 773165187 174194688 40128 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42528 40128 1111 63 0 42465 0
vsize: 170112
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 46182 0 0 0 5879 120 0 0 25 0 1 0 773165187 196218880 45552 4294967295 134512640 134714540 3221224592 3221223232 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47905 45552 1111 63 0 47842 0
vsize: 191620
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 51463 0 0 0 6866 133 0 0 25 0 1 0 773165187 217092096 50827 4294967295 134512640 134714540 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53001 50827 1111 63 0 52938 0
vsize: 212004
[startup+80.0022 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 56806 0 0 0 7853 147 0 0 25 0 1 0 773165187 238211072 56166 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58157 56166 1111 63 0 58094 0
vsize: 232628
[startup+90.0126 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 62107 0 0 0 8840 160 0 0 25 0 1 0 773165187 258453504 61303 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63099 61303 1111 63 0 63036 0
vsize: 252396
[startup+100.012 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 71946 0 0 0 9816 184 0 0 25 0 1 0 773165187 299225088 68468 4294967295 134512640 134714540 3221224592 3221223340 134556736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73053 68469 1111 63 0 72990 0
vsize: 292212
[startup+110.013 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 78140 0 0 0 10802 199 0 0 25 0 1 0 773165187 323522560 74407 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78985 74407 1111 63 0 78922 0
vsize: 315940
[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 83006 0 0 0 11792 209 0 0 25 0 1 0 773165187 342503424 79191 4294967295 134512640 134714540 3221224592 3221223364 134624428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83619 79191 1111 63 0 83556 0
vsize: 334476
[startup+130.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 88579 0 0 0 12777 224 0 0 25 0 1 0 773165187 364535808 84764 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88998 84764 1111 63 0 88935 0
vsize: 355992
[startup+140.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 94488 0 0 0 13762 240 0 0 25 0 1 0 773165187 387706880 90591 4294967295 134512640 134714540 3221224592 3221223132 134539284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94655 90591 1111 63 0 94592 0
vsize: 378620
[startup+150.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 100388 0 0 0 14750 254 0 0 25 0 1 0 773165187 410742784 96409 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100279 96409 1111 63 0 100216 0
vsize: 401116
[startup+160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 106493 0 0 0 15736 269 0 0 25 0 1 0 773165187 434724864 102432 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106134 102432 1111 63 0 106071 0
vsize: 424536
[startup+170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 110749 0 0 0 16725 280 0 0 25 0 1 0 773165187 451350528 106688 4294967295 134512640 134714540 3221224592 3221223100 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110193 106688 1111 63 0 110130 0
vsize: 440772
[startup+180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 116072 0 0 0 17710 295 0 0 25 0 1 0 773165187 472170496 112011 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115276 112011 1111 63 0 115213 0
vsize: 461104
[startup+190.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 130898 0 0 0 18679 326 0 0 25 0 1 0 773165187 526823424 119871 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128619 119871 1111 63 0 128556 0
vsize: 514476
[startup+200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 138114 0 0 0 19663 342 0 0 25 0 1 0 773165187 554119168 125953 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135283 125953 1111 63 0 135220 0
vsize: 541132
[startup+210.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 143820 0 0 0 20648 357 0 0 25 0 1 0 773165187 576266240 131497 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140690 131497 1111 63 0 140627 0
vsize: 562760
[startup+220.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 149696 0 0 0 21634 371 0 0 25 0 1 0 773165187 599379968 137373 4294967295 134512640 134714540 3221224592 3221223312 134556924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146333 137373 1111 63 0 146270 0
vsize: 585332
[startup+230.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 155376 0 0 0 22621 384 0 0 25 0 1 0 773165187 621547520 143053 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151745 143053 1111 63 0 151682 0
vsize: 606980
[startup+240.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 161068 0 0 0 23609 397 0 0 25 0 1 0 773165187 643538944 148421 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157114 148421 1111 63 0 157051 0
vsize: 628456
[startup+250.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 166967 0 0 0 24593 413 0 0 25 0 1 0 773165187 666632192 154158 4294967295 134512640 134714540 3221224592 3221223364 134624403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162752 154158 1111 63 0 162689 0
vsize: 651008
[startup+260.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 172849 0 0 0 25577 429 0 0 25 0 1 0 773165187 689610752 160040 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168362 160040 1111 63 0 168299 0
vsize: 673448
[startup+270.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 178138 0 0 0 26563 444 0 0 25 0 1 0 773165187 710295552 165329 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173412 165329 1111 63 0 173349 0
vsize: 693648
[startup+280.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 183333 0 0 0 27548 458 0 0 25 0 1 0 773165187 730705920 170524 4294967295 134512640 134714540 3221224592 3221223196 134536837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178395 170524 1111 63 0 178332 0
vsize: 713580
[startup+290.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184047 0 0 0 28546 461 0 0 25 0 1 0 773165187 733532160 171238 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179085 171238 1111 63 0 179022 0
vsize: 716340
[startup+300.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184061 0 0 0 29545 462 0 0 25 0 1 0 773165187 733532160 171252 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179085 171252 1111 63 0 179022 0
vsize: 716340
[startup+310.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184088 0 0 0 30543 464 0 0 25 0 1 0 773165187 733667328 171279 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179118 171279 1111 63 0 179055 0
vsize: 716472
[startup+320.043 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184097 0 0 0 31542 466 0 0 25 0 1 0 773165187 733667328 171288 4294967295 134512640 134714540 3221224592 3221223328 134556783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179118 171288 1111 63 0 179055 0
vsize: 716472
[startup+330.043 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184106 0 0 0 32540 467 0 0 25 0 1 0 773165187 733667328 171297 4294967295 134512640 134714540 3221224592 3221223296 134524393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179118 171297 1111 63 0 179055 0
vsize: 716472
[startup+340.043 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184106 0 0 0 33539 468 0 0 25 0 1 0 773165187 733667328 171297 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179118 171297 1111 63 0 179055 0
vsize: 716472
[startup+350.043 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 34538 470 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+360.044 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 35537 471 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223224 134523851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+370.044 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 36535 473 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221222844 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+380.043 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 37534 475 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223276 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+390.043 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 38532 476 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+400.044 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 39531 478 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223248 134534122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+410.045 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 40530 479 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+420.045 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 41529 480 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223184 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+430.065 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 42531 481 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223436 134623273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+440.065 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 43529 482 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+450.089 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 44531 483 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+460.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 45533 484 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223392 134610672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+470.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 46531 485 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223328 134556480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+480.112 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 47530 486 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+490.113 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 48529 488 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+500.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184148 0 0 0 49529 489 0 0 25 0 1 0 773165187 733937664 171339 4294967295 134512640 134714540 3221224592 3221223288 1076647870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171339 1111 63 0 179121 0
vsize: 716736
[startup+510.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184157 0 0 0 50528 490 0 0 25 0 1 0 773165187 733937664 171348 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171348 1111 63 0 179121 0
vsize: 716736
[startup+520.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184157 0 0 0 51527 491 0 0 25 0 1 0 773165187 733937664 171348 4294967295 134512640 134714540 3221224592 3221223328 134529075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179184 171348 1111 63 0 179121 0
vsize: 716736
[startup+530.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 52526 492 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+540.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 53525 493 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+550.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 54524 494 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223168 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+560.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 55523 495 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223328 134556867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+570.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 56523 496 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223424 134623284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+580.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184192 0 0 0 57522 497 0 0 25 0 1 0 773165187 734072832 171383 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179217 171383 1111 63 0 179154 0
vsize: 716868
[startup+590.116 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184241 0 0 0 58521 498 0 0 25 0 1 0 773165187 734269440 171418 4294967295 134512640 134714540 3221224592 3221223280 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179265 171418 1111 63 0 179202 0
vsize: 717060
[startup+600.116 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184277 0 0 0 59520 499 0 0 25 0 1 0 773165187 734404608 171454 4294967295 134512640 134714540 3221224592 3221223112 1077377395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179298 171454 1111 63 0 179235 0
vsize: 717192
[startup+610.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184329 0 0 0 60519 500 0 0 25 0 1 0 773165187 734507008 171506 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179323 171506 1111 63 0 179260 0
vsize: 717292
[startup+620.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184386 0 0 0 61519 501 0 0 25 0 1 0 773165187 734769152 171563 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179387 171563 1111 63 0 179324 0
vsize: 717548
[startup+630.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184422 0 0 0 62518 502 0 0 25 0 1 0 773165187 734904320 171586 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179420 171586 1111 63 0 179357 0
vsize: 717680
[startup+640.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184509 0 0 0 63516 504 0 0 25 0 1 0 773165187 735248384 171673 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179504 171673 1111 63 0 179441 0
vsize: 718016
[startup+650.118 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184509 0 0 0 64515 505 0 0 25 0 1 0 773165187 735248384 171673 4294967295 134512640 134714540 3221224592 3221223136 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179504 171673 1111 63 0 179441 0
vsize: 718016
[startup+660.119 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184509 0 0 0 65514 506 0 0 25 0 1 0 773165187 735248384 171673 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179504 171673 1111 63 0 179441 0
vsize: 718016
[startup+670.119 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184509 0 0 0 66514 507 0 0 25 0 1 0 773165187 735248384 171673 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179504 171673 1111 63 0 179441 0
vsize: 718016
[startup+680.119 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184539 0 0 0 67513 508 0 0 25 0 1 0 773165187 735412224 171703 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171703 1111 63 0 179481 0
vsize: 718176
[startup+690.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184539 0 0 0 68511 509 0 0 25 0 1 0 773165187 735412224 171703 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171703 1111 63 0 179481 0
vsize: 718176
[startup+700.119 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184539 0 0 0 69510 511 0 0 25 0 1 0 773165187 735412224 171703 4294967295 134512640 134714540 3221224592 3221223328 134556523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171703 1111 63 0 179481 0
vsize: 718176
[startup+710.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184539 0 0 0 70509 512 0 0 25 0 1 0 773165187 735412224 171703 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171703 1111 63 0 179481 0
vsize: 718176
[startup+720.122 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184545 0 0 0 71508 513 0 0 25 0 1 0 773165187 735412224 171709 4294967295 134512640 134714540 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171709 1111 63 0 179481 0
vsize: 718176
[startup+730.121 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184545 0 0 0 72507 514 0 0 25 0 1 0 773165187 735412224 171709 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171709 1111 63 0 179481 0
vsize: 718176
[startup+740.121 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 73506 516 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+750.121 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 74505 517 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223112 1077377218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+760.122 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 75504 518 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+770.121 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 76503 519 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+780.122 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 77502 521 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+790.122 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184559 0 0 0 78501 522 0 0 25 0 1 0 773165187 735412224 171723 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179544 171723 1111 63 0 179481 0
vsize: 718176
[startup+800.122 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184566 0 0 0 79499 524 0 0 25 0 1 0 773165187 735522816 171730 4294967295 134512640 134714540 3221224592 3221223336 134536883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179571 171730 1111 63 0 179508 0
vsize: 718284
[startup+810.123 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184715 0 0 0 80497 526 0 0 25 0 1 0 773165187 735727616 171790 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179621 171790 1111 63 0 179558 0
vsize: 718484
[startup+820.129 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184816 0 0 0 81496 528 0 0 25 0 1 0 773165187 736116736 171891 4294967295 134512640 134714540 3221224592 3221223296 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179716 171891 1111 63 0 179653 0
vsize: 718864
[startup+830.139 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184860 0 0 0 82496 529 0 0 25 0 1 0 773165187 736251904 171932 4294967295 134512640 134714540 3221224592 3221223220 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179749 171932 1111 63 0 179686 0
vsize: 718996
[startup+840.139 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184865 0 0 0 83495 530 0 0 25 0 1 0 773165187 736370688 171937 4294967295 134512640 134714540 3221224592 3221223200 134523886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179778 171937 1111 63 0 179715 0
vsize: 719112
[startup+850.14 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184865 0 0 0 84494 531 0 0 25 0 1 0 773165187 736333824 171937 4294967295 134512640 134714540 3221224592 3221223200 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179769 171937 1111 63 0 179706 0
vsize: 719076
[startup+860.14 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184920 0 0 0 85493 533 0 0 25 0 1 0 773165187 736600064 171992 4294967295 134512640 134714540 3221224592 3221223312 134603576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 171992 1111 63 0 179771 0
vsize: 719336
[startup+870.155 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184920 0 0 0 86494 534 0 0 25 0 1 0 773165187 736600064 171992 4294967295 134512640 134714540 3221224592 3221223104 134540498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 171992 1111 63 0 179771 0
vsize: 719336
[startup+880.166 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184920 0 0 0 87493 535 0 0 25 0 1 0 773165187 736600064 171992 4294967295 134512640 134714540 3221224592 3221223360 134624435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 171992 1111 63 0 179771 0
vsize: 719336
[startup+890.166 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184922 0 0 0 88492 537 0 0 25 0 1 0 773165187 736600064 171994 4294967295 134512640 134714540 3221224592 3221223336 134556737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 171994 1111 63 0 179771 0
vsize: 719336
[startup+900.17 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184939 0 0 0 89491 538 0 0 25 0 1 0 773165187 736600064 172011 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172011 1111 63 0 179771 0
vsize: 719336
[startup+910.176 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184939 0 0 0 90490 540 0 0 25 0 1 0 773165187 736600064 172011 4294967295 134512640 134714540 3221224592 3221223268 1076648040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172011 1111 63 0 179771 0
vsize: 719336
[startup+920.176 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184941 0 0 0 91489 541 0 0 25 0 1 0 773165187 736600064 172013 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172013 1111 63 0 179771 0
vsize: 719336
[startup+930.203 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184941 0 0 0 92491 542 0 0 25 0 1 0 773165187 736600064 172013 4294967295 134512640 134714540 3221224592 3221223280 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172013 1111 63 0 179771 0
vsize: 719336
[startup+940.203 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184944 0 0 0 93490 543 0 0 25 0 1 0 773165187 736600064 172016 4294967295 134512640 134714540 3221224592 3221223364 134624782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172016 1111 63 0 179771 0
vsize: 719336
[startup+950.203 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184944 0 0 0 94490 544 0 0 25 0 1 0 773165187 736600064 172016 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179834 172016 1111 63 0 179771 0
vsize: 719336
[startup+960.204 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184964 0 0 0 95489 545 0 0 25 0 1 0 773165187 736735232 172036 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179867 172036 1111 63 0 179804 0
vsize: 719468
[startup+970.205 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184964 0 0 0 96488 546 0 0 25 0 1 0 773165187 736735232 172036 4294967295 134512640 134714540 3221224592 3221223360 134624410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179867 172036 1111 63 0 179804 0
vsize: 719468
[startup+980.205 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184964 0 0 0 97486 548 0 0 25 0 1 0 773165187 736735232 172036 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179867 172036 1111 63 0 179804 0
vsize: 719468
[startup+990.205 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184978 0 0 0 98485 549 0 0 25 0 1 0 773165187 736735232 172050 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179867 172050 1111 63 0 179804 0
vsize: 719468
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184978 0 0 0 99484 550 0 0 25 0 1 0 773165187 736735232 172050 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179867 172050 1111 63 0 179804 0
vsize: 719468
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 184999 0 0 0 100483 551 0 0 25 0 1 0 773165187 736661504 172032 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179849 172032 1111 63 0 179786 0
vsize: 719396
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185020 0 0 0 101482 553 0 0 25 0 1 0 773165187 736780288 172053 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179878 172053 1111 63 0 179815 0
vsize: 719512
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185020 0 0 0 102481 554 0 0 25 0 1 0 773165187 736780288 172053 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179878 172053 1111 63 0 179815 0
vsize: 719512
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185036 0 0 0 103480 555 0 0 25 0 1 0 773165187 736845824 172069 4294967295 134512640 134714540 3221224592 3221223344 134624450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179894 172069 1111 63 0 179831 0
vsize: 719576
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 104478 557 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223328 134556861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 105477 559 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223168 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 106477 559 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1080.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 107477 560 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223292 134558630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1090.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 108475 562 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223252 134591892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1100.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 109474 563 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1110.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 110473 564 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223120 134539893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1120.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 111473 565 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185074 0 0 0 112472 567 0 0 25 0 1 0 773165187 736980992 172097 4294967295 134512640 134714540 3221224592 3221223340 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179927 172097 1111 63 0 179864 0
vsize: 719708
[startup+1140.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 21731
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185091 0 0 0 113471 567 0 0 25 0 1 0 773165187 737116160 172114 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179960 172114 1111 63 0 179897 0
vsize: 719840
[startup+1150.23 s]
Raw data (loadavg): 1.16 1.02 1.00 3/57 21770
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185091 0 0 0 114471 568 0 0 25 0 1 0 773165187 737116160 172114 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179960 172114 1111 63 0 179897 0
vsize: 719840
[startup+1160.23 s]
Raw data (loadavg): 1.21 1.04 1.00 2/54 21784
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185091 0 0 0 115470 570 0 0 25 0 1 0 773165187 737116160 172114 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179960 172114 1111 63 0 179897 0
vsize: 719840
[startup+1170.23 s]
Raw data (loadavg): 1.18 1.03 1.00 2/54 21784
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185091 0 0 0 116469 570 0 0 25 0 1 0 773165187 737116160 172114 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179960 172114 1111 63 0 179897 0
vsize: 719840
[startup+1175.18 s]
Raw data (loadavg): 1.16 1.03 1.00 1/53 21784
Raw data (stat): 21731 (bsolo_mis) R 21730 21152 21151 0 -1 0 185091 0 0 0 116469 570 0 0 25 0 1 0 773165187 737116160 172114 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179960 172114 1111 63 0 179897 0
vsize: 0

Child status: 0
Real time (s): 1175.18
CPU time (s): 1175.34
CPU user time (s): 1169.31
CPU system time (s): 6.02808
CPU usage (%): 100.013
Max. virtual memory (Kb): 719840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####