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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
MD5SUM	1c2ccb44cf4c8d63886f263017961035
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	190
Optimality of the best value was proved	NO
Number of terms in the objective function	52200
Biggest coefficient in the objective function	26214400
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	24146585100
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	26214400
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	24146585100
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.22
Number of variables	83000
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	200
Maximum length of a constraint	200
Trace number 26247

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 14:37:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14784 boxname=wulflinc7 idbench=1138 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1c2ccb44cf4c8d63886f263017961035  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-qap10.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-qap10.opb
IDLAUNCH: 14784
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        934448 kB
Buffers:         34412 kB
Cached:          44436 kB
SwapCached:        100 kB
Active:          56936 kB
Inactive:        24652 kB
HighTotal:      131008 kB
HighFree:        82376 kB
LowTotal:       903652 kB
LowFree:        852072 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6736 kB
Slab:            13000 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:57:23 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 14784 7 1200.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 83000 variables and 3640 constraints.
#### 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.73 1.15 1.72 2/54 24450
Raw data (stat): 24450 (runsolver) R 24449 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772799542 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.0046 s]
Raw data (loadavg): 0.77 1.15 1.72 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 801 0 3 0 983 2 0 0 25 0 1 0 772799542 15929344 782 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3889 782 1111 63 0 3826 0
vsize: 15556
[startup+20.1427 s]
Raw data (loadavg): 0.81 1.14 1.71 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 1045 0 3 0 1996 3 0 0 25 0 1 0 772799542 16928768 1026 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 1026 1111 63 0 4070 0
vsize: 16532
[startup+30.1423 s]
Raw data (loadavg): 0.83 1.14 1.70 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 1288 0 3 0 2995 3 0 0 25 0 1 0 772799542 17948672 1269 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 1269 1111 63 0 4319 0
vsize: 17528
[startup+40.1464 s]
Raw data (loadavg): 0.86 1.13 1.69 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 1534 0 3 0 3995 4 0 0 25 0 1 0 772799542 18960384 1515 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4629 1515 1111 63 0 4566 0
vsize: 18516
[startup+50.1608 s]
Raw data (loadavg): 0.88 1.13 1.69 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 1777 0 3 0 4997 4 0 0 25 0 1 0 772799542 19955712 1758 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 1758 1111 63 0 4809 0
vsize: 19488
[startup+60.1611 s]
Raw data (loadavg): 0.90 1.12 1.68 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 2028 0 3 0 5996 5 0 0 25 0 1 0 772799542 20975616 2009 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5121 2009 1111 63 0 5058 0
vsize: 20484
[startup+70.1611 s]
Raw data (loadavg): 0.91 1.12 1.67 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 2284 0 3 0 6996 5 0 0 25 0 1 0 772799542 21979136 2265 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5366 2265 1111 63 0 5303 0
vsize: 21464
[startup+80.1606 s]
Raw data (loadavg): 0.93 1.11 1.66 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 2534 0 3 0 7996 5 0 0 25 0 1 0 772799542 23126016 2515 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5646 2515 1111 63 0 5583 0
vsize: 22584
[startup+90.1625 s]
Raw data (loadavg): 0.94 1.11 1.65 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 2793 0 3 0 8996 6 0 0 25 0 1 0 772799542 24129536 2774 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5891 2774 1111 63 0 5828 0
vsize: 23564
[startup+100.162 s]
Raw data (loadavg): 0.95 1.11 1.65 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 3052 0 3 0 9995 6 0 0 25 0 1 0 772799542 25145344 3033 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 3033 1111 63 0 6076 0
vsize: 24556
[startup+110.163 s]
Raw data (loadavg): 0.95 1.10 1.64 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 3310 0 3 0 10995 7 0 0 25 0 1 0 772799542 26169344 3291 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6389 3291 1111 63 0 6326 0
vsize: 25556
[startup+120.163 s]
Raw data (loadavg): 0.96 1.10 1.63 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 3568 0 3 0 11995 7 0 0 25 0 1 0 772799542 27316224 3549 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6669 3549 1111 63 0 6606 0
vsize: 26676
[startup+130.162 s]
Raw data (loadavg): 0.97 1.09 1.62 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 3845 0 3 0 12994 8 0 0 25 0 1 0 772799542 28504064 3826 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 3826 1111 63 0 6896 0
vsize: 27836
[startup+140.162 s]
Raw data (loadavg): 0.97 1.09 1.62 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 4109 0 3 0 13994 9 0 0 25 0 1 0 772799542 29499392 4090 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7202 4090 1111 63 0 7139 0
vsize: 28808
[startup+150.164 s]
Raw data (loadavg): 0.98 1.09 1.61 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 4376 0 3 0 14994 9 0 0 25 0 1 0 772799542 30646272 4357 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 4357 1111 63 0 7419 0
vsize: 29928
[startup+160.164 s]
Raw data (loadavg): 0.98 1.08 1.60 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 4645 0 3 0 15993 10 0 0 25 0 1 0 772799542 31666176 4626 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7731 4626 1111 63 0 7668 0
vsize: 30924
[startup+170.164 s]
Raw data (loadavg): 0.98 1.08 1.60 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 4918 0 3 0 16993 11 0 0 25 0 1 0 772799542 32813056 4899 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 4899 1111 63 0 7948 0
vsize: 32044
[startup+180.164 s]
Raw data (loadavg): 0.98 1.08 1.59 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 5193 0 3 0 17992 11 0 0 25 0 1 0 772799542 33996800 5174 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8300 5174 1111 63 0 8237 0
vsize: 33200
[startup+190.165 s]
Raw data (loadavg): 0.99 1.07 1.58 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 5476 0 3 0 18992 11 0 0 25 0 1 0 772799542 35151872 5457 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8582 5457 1111 63 0 8519 0
vsize: 34328
[startup+200.164 s]
Raw data (loadavg): 0.99 1.07 1.58 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 5758 0 3 0 19992 12 0 0 25 0 1 0 772799542 36298752 5739 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8862 5739 1111 63 0 8799 0
vsize: 35448
[startup+210.165 s]
Raw data (loadavg): 0.99 1.07 1.57 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 6048 0 3 0 20991 13 0 0 25 0 1 0 772799542 37453824 6029 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6029 1111 63 0 9081 0
vsize: 36576
[startup+220.165 s]
Raw data (loadavg): 0.99 1.07 1.56 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 6352 0 3 0 21991 13 0 0 25 0 1 0 772799542 38629376 6333 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9431 6333 1111 63 0 9368 0
vsize: 37724
[startup+230.165 s]
Raw data (loadavg): 0.99 1.06 1.56 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 6651 0 3 0 22991 13 0 0 25 0 1 0 772799542 39911424 6632 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9744 6632 1111 63 0 9681 0
vsize: 38976
[startup+240.165 s]
Raw data (loadavg): 0.99 1.06 1.55 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 6975 0 3 0 23991 14 0 0 25 0 1 0 772799542 41381888 6956 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10103 6956 1111 63 0 10040 0
vsize: 40412
[startup+250.165 s]
Raw data (loadavg): 0.99 1.06 1.54 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 7279 0 3 0 24990 15 0 0 25 0 1 0 772799542 42536960 7260 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7260 1111 63 0 10322 0
vsize: 41540
[startup+260.166 s]
Raw data (loadavg): 0.99 1.06 1.54 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 7593 0 3 0 25989 16 0 0 25 0 1 0 772799542 43819008 7574 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10698 7574 1111 63 0 10635 0
vsize: 42792
[startup+270.166 s]
Raw data (loadavg): 0.99 1.05 1.53 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 7921 0 3 0 26989 16 0 0 25 0 1 0 772799542 45281280 7902 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11055 7902 1111 63 0 10992 0
vsize: 44220
[startup+280.165 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 8252 0 3 0 27989 16 0 0 25 0 1 0 772799542 46563328 8233 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11368 8233 1111 63 0 11305 0
vsize: 45472
[startup+290.166 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 8588 0 3 0 28989 17 0 0 25 0 1 0 772799542 47874048 8569 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11688 8569 1111 63 0 11625 0
vsize: 46752
[startup+300.165 s]
Raw data (loadavg): 0.99 1.05 1.51 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 8925 0 3 0 29988 17 0 0 25 0 1 0 772799542 49311744 8906 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12039 8906 1111 63 0 11976 0
vsize: 48156
[startup+310.287 s]
Raw data (loadavg): 0.99 1.05 1.51 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 9278 0 3 0 31000 18 0 0 25 0 1 0 772799542 50774016 9259 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12396 9259 1111 63 0 12333 0
vsize: 49584
[startup+320.287 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 9624 0 3 0 32000 19 0 0 25 0 1 0 772799542 52191232 9605 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12742 9605 1111 63 0 12679 0
vsize: 50968
[startup+330.286 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 9975 0 3 0 32999 19 0 0 25 0 1 0 772799542 53653504 9956 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13099 9956 1111 63 0 13036 0
vsize: 52396
[startup+340.287 s]
Raw data (loadavg): 0.99 1.04 1.49 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 10329 0 3 0 33999 20 0 0 25 0 1 0 772799542 55091200 10310 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13450 10310 1111 63 0 13387 0
vsize: 53800
[startup+350.286 s]
Raw data (loadavg): 0.99 1.04 1.48 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 10689 0 3 0 34998 21 0 0 25 0 1 0 772799542 56528896 10670 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13801 10670 1111 63 0 13738 0
vsize: 55204
[startup+360.287 s]
Raw data (loadavg): 0.99 1.04 1.48 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 11051 0 3 0 35997 22 0 0 25 0 1 0 772799542 57966592 11032 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14152 11032 1111 63 0 14089 0
vsize: 56608
[startup+370.287 s]
Raw data (loadavg): 0.99 1.03 1.47 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 11420 0 3 0 36996 23 0 0 25 0 1 0 772799542 59408384 11401 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14504 11401 1111 63 0 14441 0
vsize: 58016
[startup+380.286 s]
Raw data (loadavg): 0.99 1.03 1.47 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 11796 0 3 0 37995 24 0 0 25 0 1 0 772799542 61005824 11777 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 11777 1111 63 0 14831 0
vsize: 59576
[startup+390.287 s]
Raw data (loadavg): 0.99 1.03 1.46 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 12173 0 3 0 38995 25 0 0 25 0 1 0 772799542 62578688 12154 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15278 12154 1111 63 0 15215 0
vsize: 61112
[startup+400.288 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 12563 0 3 0 39994 26 0 0 25 0 1 0 772799542 64167936 12544 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15666 12544 1111 63 0 15603 0
vsize: 62664
[startup+410.298 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 12963 0 3 0 40994 27 0 0 25 0 1 0 772799542 65765376 12944 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16056 12944 1111 63 0 15993 0
vsize: 64224
[startup+420.298 s]
Raw data (loadavg): 0.99 1.03 1.44 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 13410 0 3 0 41993 28 0 0 25 0 1 0 772799542 67854336 13391 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16566 13391 1111 63 0 16503 0
vsize: 66264
[startup+430.298 s]
Raw data (loadavg): 0.99 1.03 1.44 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 13841 0 3 0 42993 29 0 0 25 0 1 0 772799542 69607424 13822 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16994 13822 1111 63 0 16931 0
vsize: 67976
[startup+440.298 s]
Raw data (loadavg): 0.99 1.02 1.43 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 14264 0 3 0 43992 29 0 0 25 0 1 0 772799542 71327744 14245 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17414 14245 1111 63 0 17351 0
vsize: 69656
[startup+450.299 s]
Raw data (loadavg): 0.99 1.02 1.43 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 14712 0 3 0 44992 30 0 0 25 0 1 0 772799542 73195520 14693 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17870 14693 1111 63 0 17807 0
vsize: 71480
[startup+460.299 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 15160 0 3 0 45991 31 0 0 25 0 1 0 772799542 74940416 15141 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18296 15141 1111 63 0 18233 0
vsize: 73184
[startup+470.3 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 15622 0 3 0 46990 33 0 0 25 0 1 0 772799542 76808192 15603 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18752 15603 1111 63 0 18689 0
vsize: 75008
[startup+480.299 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 16084 0 3 0 47989 33 0 0 25 0 1 0 772799542 78688256 16065 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19211 16065 1111 63 0 19148 0
vsize: 76844
[startup+490.299 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 16609 0 3 0 48988 35 0 0 25 0 1 0 772799542 80863232 16590 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19742 16590 1111 63 0 19679 0
vsize: 78968
[startup+500.3 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 17143 0 3 0 49987 36 0 0 25 0 1 0 772799542 83038208 17124 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20273 17124 1111 63 0 20210 0
vsize: 81092
[startup+510.301 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 17692 0 3 0 50986 37 0 0 25 0 1 0 772799542 85336064 17673 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20834 17673 1111 63 0 20771 0
vsize: 83336
[startup+520.301 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 18263 0 3 0 51985 38 0 0 25 0 1 0 772799542 87638016 18244 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21396 18244 1111 63 0 21333 0
vsize: 85584
[startup+530.301 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 18828 0 3 0 52984 40 0 0 25 0 1 0 772799542 89960448 18809 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21963 18809 1111 63 0 21900 0
vsize: 87852
[startup+540.301 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 19369 0 3 0 53983 41 0 0 25 0 1 0 772799542 92110848 19350 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22488 19350 1111 63 0 22425 0
vsize: 89952
[startup+550.301 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 19911 0 3 0 54982 42 0 0 25 0 1 0 772799542 94277632 19892 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23017 19892 1111 63 0 22954 0
vsize: 92068
[startup+560.302 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 20475 0 3 0 55981 43 0 0 25 0 1 0 772799542 96587776 20456 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23581 20456 1111 63 0 23518 0
vsize: 94324
[startup+570.302 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 21016 0 3 0 56981 44 0 0 25 0 1 0 772799542 98910208 20997 4294967295 134512640 134714540 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24148 20997 1111 63 0 24085 0
vsize: 96592
[startup+580.302 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 26663 0 3 0 57968 57 0 0 25 0 1 0 772799542 121085952 26436 4294967295 134512640 134714540 3221224592 3221222660 1077314242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29562 26436 1111 63 0 29499 0
vsize: 118248
[startup+590.303 s]
Raw data (loadavg): 0.99 1.01 1.36 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 32277 0 3 0 58956 69 0 0 25 0 1 0 772799542 144207872 31924 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35207 31924 1111 63 0 35144 0
vsize: 140828
[startup+600.302 s]
Raw data (loadavg): 0.99 1.01 1.36 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 35634 0 3 0 59948 77 0 0 25 0 1 0 772799542 157786112 35281 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38522 35281 1111 63 0 38459 0
vsize: 154088
[startup+610.304 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 38375 0 3 0 60942 83 0 0 25 0 1 0 772799542 169029632 38022 4294967295 134512640 134714540 3221224592 3221222876 1077399564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41267 38022 1111 63 0 41204 0
vsize: 165068
[startup+620.303 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 40462 0 3 0 61935 90 0 0 25 0 1 0 772799542 177569792 40109 4294967295 134512640 134714540 3221224592 3221222244 1077360673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43352 40109 1111 63 0 43289 0
vsize: 173408
[startup+630.303 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 41846 0 3 0 62932 93 0 0 25 0 1 0 772799542 183246848 41493 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44738 41493 1111 63 0 44675 0
vsize: 178952
[startup+640.304 s]
Raw data (loadavg): 0.99 1.01 1.34 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 43258 0 3 0 63929 97 0 0 25 0 1 0 772799542 189059072 42905 4294967295 134512640 134714540 3221224592 3221222868 1077049360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46157 42905 1111 63 0 46094 0
vsize: 184628
[startup+650.303 s]
Raw data (loadavg): 0.99 1.00 1.34 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 44607 0 3 0 64924 100 0 0 25 0 1 0 772799542 194465792 44254 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47477 44254 1111 63 0 47414 0
vsize: 189908
[startup+660.304 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 65907 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+670.305 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 66907 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223000 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+680.305 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 67907 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+690.311 s]
Raw data (loadavg): 0.99 1.00 1.32 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 68908 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+700.31 s]
Raw data (loadavg): 0.99 1.00 1.32 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 69908 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+710.311 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 70908 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+720.311 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 71908 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+730.31 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 72909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+740.31 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 73909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+750.311 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 74909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+760.311 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 75909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+770.311 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 76909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+780.312 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 77909 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+790.312 s]
Raw data (loadavg): 0.99 1.00 1.28 3/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 78910 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+800.312 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 79910 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+810.313 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 80910 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+820.313 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 81910 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+830.313 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 82910 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222924 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+840.313 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 83911 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223448 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+850.313 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 84911 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+860.314 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 85911 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+870.315 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 86911 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+880.317 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 87912 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+890.317 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 88912 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+900.317 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 89912 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223060 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+910.324 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 90913 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+920.337 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 91914 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+930.361 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 92917 118 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+940.362 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 93917 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+950.376 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 94918 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+960.386 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 95919 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+970.386 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 96919 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223328 134630813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+980.386 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 97920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+990.387 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 98920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1000.39 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 99920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222956 134539273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1010.39 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 100920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223216 134528896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1020.39 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 101920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1030.39 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 102920 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1040.39 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 103921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1050.39 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 104921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222924 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1060.39 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 105921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1070.39 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 106921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1080.39 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 107921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1090.39 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 108921 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223056 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1100.39 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 109922 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1110.39 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 110922 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223268 134594897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1120.39 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 111922 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1130.39 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 112922 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1140.39 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 113922 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1150.39 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 114923 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1160.39 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 115923 119 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1170.39 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 116923 120 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1180.39 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 117923 120 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1190.39 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 118924 120 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
[startup+1200.39 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 24450
Raw data (stat): 24450 (bsolo_mis) R 24449 24300 24299 0 -1 0 51752 0 3 0 119924 120 0 0 25 0 1 0 772799542 215785472 51134 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51134 1111 63 0 52619 0
vsize: 210728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.49 s]
Raw data (loadavg): 0.99 1.00 1.17 1/54 24450
Raw data (stat): 24450 (bsolo_mis) Z 24449 24300 24299 0 -1 1036 51752 0 3 0 119924 129 0 0 25 0 1 0 772799542 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.49
CPU time (s): 1200.54
CPU user time (s): 1199.24
CPU system time (s): 1.2928
CPU usage (%): 100.004
Max. virtual memory (Kb): 210728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####